Learning a Static Analyzer from Data

To be practically useful, modern static analyzers must precisely model the effect of both, statements in the programming language as well as frameworks used by the program under analysis. While important, manually addressing these challenges is difficult for at least two reasons: (i) the effects on the overall analysis can be non-trivial, and (ii) as the size and complexity of modern libraries increase, so is the number of cases the analysis must handle. In this paper we present a new, automated approach for creating static analyzers: instead of manually providing the various inference rules of the analyzer, the key idea is to learn these rules from a dataset of programs. Our method consists of two ingredients: (i) a synthesis algorithm capable of learning a candidate analyzer from a given dataset, and (ii) a counter-example guided learning procedure which generates new programs beyond those in the initial dataset, critical for discovering corner cases and ensuring the learned analysis generalizes to unseen programs. We implemented and instantiated our approach to the task of learning JavaScript static analysis rules for a subset of points-to analysis and for allocation sites analysis. These are challenging yet important problems that have received significant research attention. We show that our approach is effective: our system automatically discovered practical and useful inference rules for many cases that are tricky to manually identify and are missed by state-of-the-art, manually tuned analyzers

Scattering Theory Approach to Random Schroedinger Operators in One Dimension

Methods from scattering theory are introduced to analyze random Schroedinger operators in one dimension by applying a volume cutoff to the potential. The key ingredient is the Lifshitz-Krein spectral shift function, which is related to the scattering phase by the theorem of Birman and Krein. The spectral shift density is defined as the "thermodynamic limit" of the spectral shift function per unit length of the interaction region. This density is shown to be equal to the difference of the densities of states for the free and the interacting Hamiltonians. Based on this construction, we give a new proof of the Thouless formula. We provide a prescription how to obtain the Lyapunov exponent from the scattering matrix, which suggest a way how to extend this notion to the higher dimensional case. This prescription also allows a characterization of those energies which have vanishing Lyapunov exponent.Comment: 1 figur

Arrays of Josephson junctions in an environment with vanishing impedance

The Hamiltonian operator for an unbiased array of Josephson junctions with gate voltages is constructed when only Cooper pair tunnelling and charging effects are taken into account. The supercurrent through the system and the pumped current induced by changing the gate voltages periodically are discussed with an emphasis on the inaccuracies in the Cooper pair pumping. Renormalisation of the Hamiltonian operator is used in order to reliably parametrise the effects due to inhomogeneity in the array and non-ideal gating sequences. The relatively simple model yields an explicit, testable prediction based on three experimentally motivated and determinable parameters.Comment: 13 pages, 9 figures, uses RevTeX and epsfig, Revised version, Better readability and some new result

Impact of neoadjuvant treatment on total mesorectal excision for ultra-low rectal cancers

<p>Abstract</p> <p>Background</p> <p>This study reviewed the impact of pre-operative chemoradiotherapy or post-operative chemotherapy and/or radiotherapy on total mesorectal excision (TME) for ultralow rectal cancers that required either low anterior resection with peranal coloanal anastomosis or abdomino-perineal resection (APR). We examined surgical complications, local recurrence and survival.</p> <p>Methods</p> <p>Of the 1270 patients who underwent radical resection for rectal cancer from 1994 till 2007, 180 with tumors within 4 cm with either peranal coloanal anastomosis or APR were analyzed. Patients were compared in groups that had surgery only (Group A), pre-operative chemoradiotherapy (Group B), and post-operative therapy (Group C).</p> <p>Results</p> <p>There were 115 males and the mean age was 65.43 years (range 30-89). APR was performed in 134 patients while 46 had a sphincter-preserving resection with peranal coloanal anastomosis. The mean follow-up period was 52.98 months (range: 0.57 to 178.9). There were 69, 58 and 53 patients in Groups A, B, and C, respectively. Nine patients in Group B could go on to have sphincter-saving rectal resection. The overall peri-operative complication rate was 43.4% in Group A vs. 29.3% in Group B vs. 39.6% in Group C, respectively. The local recurrence rate was significantly lower in Group B (8.6.9% vs. 21.7% in Group A vs. 33.9% in Group C) <it>p < 0.05</it>. The 5-year cancer-specific survival rates for Group A was 49.3%, Group B was 69.9% and Group C was 38.8% (<it>p </it>= 0.14).</p> <p>Conclusion</p> <p>Pre-operative chemoradiation in low rectal cancer is not associated with a higher incidence of peri-operative complications and its benefits may include reduction local recurrence.</p

Finite-size corrections for logarithmic representations in critical dense polymers

We study (analytic) finite-size corrections in the dense polymer model on the strip by perturbing the critical Hamiltonian with irrelevant operators belonging to the tower of the identity. We generalize the perturbation expansion to include Jordan cells, and examine whether the finite-size corrections are sensitive to the properties of indecomposable representations appearing in the conformal spectrum, in particular their indecomposability parameters. We find, at first order, that the corrections do not depend on these parameters nor even on the presence of Jordan cells. Though the corrections themselves are not universal, the ratios are universal and correctly reproduced by the conformal perturbative approach, to first order.Comment: 5 pages, published versio

Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects

International audienceJavaScript framework libraries like jQuery are widely used, but complicate program analyses. Indeed, they encode clean high-level constructions such as class inheritance via dynamic object copies and transformations that are harder to reason about. One common pattern used in them consists of loops that copy or transform part or all of the fields of an object. Such loops are challenging to analyze precisely, due to weak updates and as unrolling techniques do not always apply. In this paper, we observe that precise field correspondence relations are required for client analyses (e.g., for call-graph construction), and propose abstractions of objects and program executions that allow to reason separately about the effect of distinct iterations without resorting to full unrolling. We formalize and implement an analysis based on this technique. We assess the performance and precision on the computation of call-graph information on examples from jQuery tutorials

Comparative Network Analysis of Preterm vs. Full-Term Infant-Mother Interactions

Several studies have reported that interactions of mothers with preterm infants show differential characteristics compared to that of mothers with full-term infants. Interaction of preterm dyads is often reported as less harmonious. However, observations and explanations concerning the underlying mechanisms are inconsistent. In this work 30 preterm and 42 full-term mother-infant dyads were observed at one year of age. Free play interactions were videotaped and coded using a micro-analytic coding system. The video records were coded at one second resolution and studied by a novel approach using network analysis tools. The advantage of our approach is that it reveals the patterns of behavioral transitions in the interactions. We found that the most frequent behavioral transitions are the same in the two groups. However, we have identified several high and lower frequency transitions which occur significantly more often in the preterm or full-term group. Our analysis also suggests that the variability of behavioral transitions is significantly higher in the preterm group. This higher variability is mostly resulted from the diversity of transitions involving non-harmonious behaviors. We have identified a maladaptive pattern in the maternal behavior in the preterm group, involving intrusiveness and disengagement. Application of the approach reported in this paper to longitudinal data could elucidate whether these maladaptive maternal behavioral changes place the infant at risk for later emotional, cognitive and behavioral disturbance

Ballistic nanofriction

Sliding parts in nanosystems such as Nano ElectroMechanical Systems (NEMS) and nanomotors, increasingly involve large speeds, and rotations as well as translations of the moving surfaces; yet, the physics of high speed nanoscale friction is so far unexplored. Here, by simulating the motion of drifting and of kicked Au clusters on graphite - a workhorse system of experimental relevance -- we demonstrate and characterize a novel "ballistic" friction regime at high speed, separate from drift at low speed. The temperature dependence of the cluster slip distance and time, measuring friction, is opposite in these two regimes, consistent with theory. Crucial to both regimes is the interplay of rotations and translations, shown to be correlated in slow drift but anticorrelated in fast sliding. Despite these differences, we find the velocity dependence of ballistic friction to be, like drift, viscous